Analysis and verification of temporal properties of distributed ROS 2-based applications
- Författare
- Mälardalens universitet Lukas Dust
- (Lukas Dust., sammanfattning jämte 6 uppsatser, Diss. Västerås : Mälardalens universitet, 2025)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Akademin för innovation, design och teknik, Mälardalens universitet | 2025 | Sverige, Västerås | xxvi, 294 sidor illustrationer | 978-91-7485-731-3 |